Further Beyond Sudoku: Using Logic Puzzles to Develop Mathematical Reasoning Bree Pickford-Murray The Bay School of San Francisco

Source URL: betweenthenumbers.files.wordpress.com

An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC Xiaowang Zhang1,2 , Zhihu Zhang1 and Zuoquan Lin1 1 School of Mathematical Sciences, Peking University, Bejing, China

Source URL: ceur-ws.org

Program of the Twenty-Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE 21–24 June 2011, Toronto, Ontario, Canada The symposium is sponsored by the IEEE Computer Society’s Technical Committee on Mathematical

Source URL: lics.rwth-aachen.de

Logic, Computation and Constraint Satisfaction Barnaby D. Martin University of Leicester

Source URL: www.bedewell.com

• Computational complexity theory
• Logic
• Complexity classes
• Mathematical logic
• PSPACE
• FO
• Second-order logic
• P versus NP problem
• Constraint satisfaction problem
• NP
• P
• Constraint satisfaction

Crowdsourcing General Computation Haoqi Zhang∗ , Eric Horvitz† , Rob C. Miller‡ , and David C. Parkes∗ ∗ Harvard SEAS Cambridge, MA 02138, USA {hq, parkes}@eecs.harvard.edu

Source URL: crowdresearch.org

• Algorithms
• Engineering
• Academia
• Applied mathematics
• Operations research
• Mathematical logic
• Theoretical computer science
• Human-based computation
• Divide and conquer algorithms
• Crowdsourcing
• Problem solving
• Computer science

On Solving Boolean Multilevel Optimization Problems∗ Josep Argelich INESC-ID Lisbon

Source URL: www.mancoosi.org

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Operations research
• Logic in computer science
• Mathematical optimization
• NP-complete problems
• Boolean algebra
• Maximum satisfiability problem
• Boolean satisfiability problem
• Constraint satisfaction
• Solver

Aydin M o hse n i Contact Information address Department of Logic and Philosophy of Science

Source URL: aydinmohseni.com

• Formal sciences
• Logic
• Logic in computer science
• Mathematical logic
• Non-classical logic
• Philosophy
• Minneapolis College of Art and Design
• Mathematics
• Intuitionistic logic

In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract

Source URL: www2.lingfil.uu.se

• Logic
• Mathematical logic
• Theoretical computer science
• Natural language processing
• Formal methods
• Computability theory
• Artificial intelligence
• Decidability
• First-order logic
• Natural language understanding
• Natural language user interface
• Entityrelationship model

Wavelets and Image Compression Bradley J. Lucier Abstract. In this paper we present certain results about the compression of images using wavelets. We concentrate on the simplest case of the Haar decomposition and compr

Source URL: www.math.purdue.edu

• Mathematical analysis
• Mathematics
• Functional analysis
• Signal processing
• Operator theory
• Image compression
• Wavelet transform
• Wavelet
• Distribution
• Constructible universe
• Craig interpolation
• Linear temporal logic